Modelling Cooperative Behaviour for Resource Access in a Multi-Agent Environment
نویسندگان
چکیده
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. DESIRE, a formal framework for the design and specification of compositional architectures, is employed for this purpose. A task model of an arbitrary participating competitive agent is presented, together with a model of interaction between agents and the formal specifications. A comparison of this knowledgebased approach and other approaches is presented.
منابع مشابه
Modelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Environment
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to ...
متن کاملModelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Framework*
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic elements, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to...
متن کاملGAME OF COORDINATION FOR BACTERIAL PATTERN FORMATION: A FINITE AUTOMATA MODELLING
In this paper, we use game theory to describe the emergence of self-organization and consequent pattern formation through communicative cooperation in Bacillus subtilis colonies. The emergence of cooperative regime is modelled as an n-player Assurance game, with the bacterial colonies as individual players. The game is played iteratively through cooperative communication, and mediated by exchan...
متن کاملThe resource-constraint project scheduling problem of the project subcontractors in a cooperative environment: Highway construction case study
Large-scale projects often have several activities which are performed by subcontractors with limited multi-resources. Project scheduling with limited resources is one of the most famous problems in the research operations and optimization cases. The resource-constraint project scheduling problem (RCPSP) is a NP-hard problem in which the activities of a project must be scheduled to reduce the p...
متن کاملFormal Modelling and Verification of Cooperative Ant Behaviour in Event-B
Multi-agent technology is a promising approach to development of complex decentralised systems that dynamically adapt to changing environmental conditions. The main challenge while designing such multi-agent systems is to ensure that reachability of the systemlevel goals emerges through collaboration of autonomous agents despite changing operating conditions. In this paper, we present a case st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996